/*->h.vxcet */

extern void tsdlx(void);


